Форма́льные нау́ки — совокупность наук, занимающихся исследованием формальных систем. К формальным наукам относятся: математика, логика, кибернетика, теоретическая информатика, теория информации, теория систем, теория принятия решений, статистика, некоторые аспекты лингвистики.
Все значения словосочетания «формальные науки»Так, если бы мы ограничили содержание, или познаваемое, только областью действительногопредмета, т. е. областью «вещей», мы, может быть, получили бы некоторую формальную науку онтологического порядка, но это не была бы логика, так как вообще область применения логики шире области действительного предмета.
Но признавая логику формальной наукой, мы не думаем этим сказать, что она должна сделать тщетную попытку понять мышление вообще как просто формальную деятельность, которая могла бы рассматриваться обособленно от всякого содержания и которая относилась бы равнодушно к различиям в содержании.
Первый тип знаний можно определить как формальный, в него включаются понятия, методы и модели формальных наук, прежде всего математики и логики, когнитивное содержание которых (познание формальных систем) по определению является максимально абстрактным и не зависимым от предметного содержания отдельных дисциплин, а потому может включаться в самые разные дисциплинарные контексты.